On the number of transversals in a class of Latin squares

Denote by $\mathcal{A}_p^k$ the Latin square of order $n=p^k$ formed by the Cayley table of the additive group $(\mathbb{Z}_p^k,+)$, where $p$ is an odd prime and $k$ is a positive integer. It is shown that for each $p$ there exists $Q>0$ such that for all sufficiently large $k$, the number of transversals in $\mathcal{A}_p^k$ exceeds $(nQ)^{\frac{n}{p(p-1)}}$

Difference Covering Arrays and Pseudo-Orthogonal Latin Squares

Difference arrays are used in applications such as software testing, authentication codes and data compression. Pseudo-orthogonal Latin squares are used in experimental designs. A special class of pseudo-orthogonal Latin squares are the mutually nearly orthogonal Latin squares (MNOLS) first discussed in 2002, with general constructions given in 2007. In this paper we develop row complete MNOLS from difference covering arrays. We will use this connection to settle the spectrum question for sets of 3 mutually pseudo-orthogonal Latin squares of even order, for all but the order 146

Orthogonal trades in complete sets of MOLS

Let Bₚ be the Latin square given by the addition table for the integers modulo an odd prime p (i.e. the Cayley table for (Zₚ, +)). Here we consider the properties of Latin trades in Bₚ which preserve orthogonality with one of the p−1 MOLS given by the finite field construction. We show that for certain choices of the orthogonal mate, there is a lower bound logarithmic in p for the number of times each symbol occurs in such a trade, with an overall lower bound of (log p)² / log log p for the size of such a trade. Such trades imply the existence of orthomorphisms of the cyclic group which differ from a linear orthomorphism by a small amount. We also show that any transversal in Bₚ hits the main diagonal either p or at most p − log₂ p – 1 times. Finally, if p ≡ 1 (mod 6) we show the existence of a Latin square which is orthogonal to Bₚ and which contains a 2 × 2 subsquare

Constructing and embedding mutually orthogonal Latin squares: reviewing both new and existing results

We review results for the embedding of orthogonal partial Latin squares in orthogonal Latin squares, comparing and contrasting these with results for embedding partial Latin squares in Latin squares. We also present a new construction that uses the existence of a set of $t$ mutually orthogonal Latin squares of order $n$ to construct a set of $2t$ mutually orthogonal Latin squares of order $n^t$

Further biembeddings of twofold triple systems

We construct face two-colourable triangulations of the graph 2Kn in an orientable surface; equivalently biembeddings of two twofold triple systems of order n, for all n ξ 16 or 28 (mod 48). The biembeddings come from index 1 current graphs lifted under a group ℤn/4 × 4

Distributive and anti-distributive Mendelsohn triple systems

We prove that the existence spectrum of Mendelsohn triple systems whose associated quasigroups satisfy distributivity corresponds to the Loeschian numbers, and provide some enumeration results. We do this by considering a description of the quasigroups in terms of commutative Moufang loops. In addition we provide constructions of Mendelsohn quasigroups that fail distributivity for as many combinations of elements as possible. These systems are analogues of Hall triple systems and anti-mitre Steiner triple systems respectively

Identifying flaws in the security of critical sets in latin squares via triangulations

In this paper we answer a question in theoretical cryptography by reducing it to a seemingly unrelated geometrical problem. Drápal (1991) showed that a given partition of an equilateral triangle of side n into smaller, integer-sided equilateral triangles gives rise to, under certain conditions, a latin trade within the latin square based on the addition table for the integers (mod n). We apply this result in the study of flaws within certain theoretical cryptographic schemes based on critical sets in latin squares. We classify exactly where the flaws occur for an infinite family of critical sets. Using Drápal's result, this classification is achieved via a study of the existence of triangulations of convex regions that contain prescribed triangles

Biembeddings of cycle systems using integer Heffter arrays

In this paper, we use constructions of Heffter arrays to verify the existence of face 2‐colorable embeddings of cycle decompositions of the complete graph. Specifically, for n ≡ 1 (mod 4) and k ≡3(mod 4), n k ≫ ⩾ 7 and when n ≡ 0(mod 3) then k ≡ 7(mod 12), there exist face 2-colorable embeddings of the complete graph K₂ₙₖ₊₁ onto an orientable surface where each face is a cycle of a fixed length k. In these embeddings the vertices of K₂ₙₖ₊₁ will be labeled with the elements of Z₂ₙₖ₊₁ in such a way that the group, (Z₂ₙₖ₊₁, +) acts sharply transitively on the vertices of the embedding. This result is achieved by verifying the existence of nonequivalent Heffter arrays, H (n ; k), which satisfy the conditions: (1) for each row and each column the sequential partial sums determined by the natural ordering must be distinct modulo 2nk + 1; (2) the composition of the natural orderings of the rows and columns is equivalent to a single cycle permutation on the entries in the array. The existence of Heffter arrays H (n ; k) that satisfy condition (1) was established earlier in Burrage et al. and in this current paper, we vary this construction and show, for k ⩾ 11, that there are at least (n − 2)[((k − 11)/4)!/ ]² such nonequivalent H (n ; k) that satisfy both conditions (1) and (2)

Types of directed triple systems

We introduce three types of directed triple systems. Two of these, Mendelsohn directed triple systems and Latin directed triple systems, have previously appeared in the literature but we prove further results about them. The third type, which we call skewed directed triple systems, is new and we determine the existence spectrum to be v ≡ 1 (mod 3), v ≠ 7, except possibly for v = 22, as well as giving enumeration results for small orders